finite{-}type($\mathbb{B}$)